$\forall$$r$:$\mathbb{N}^{+}$, $s$:\{${\it s'}$:$\mathbb{N}^{+}\mid$ CoPrime($r$,${\it s'}$) \}. $\downarrow\exists$$x$:$\mathbb{Z}$. (($x$ = 1 mod $r$) \& ($x$ = 0 mod $s$))